Using Z Specification, Refinement, and Proof

العربية

رقم الكتاب	214611
اسم الكتاب	Using Z Specification, Refinement, and Proof
اسم المؤلف	Woodcock - Jim
رقم التصنيف	005.133HOA
الطبعة	1
مكان الكتاب	وادي الهرية
تاريخ النشر	1996
حالة الكتاب	غير معار